Web Ontology Language - PDFSEARCH.IO - Document Search Engine

Web Ontology Language
Results: 1452

#	Item
171	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
172	Towards Scalingless Generation of Formal Contexts from an Ontology in a Triple Store Frithjof Dau, SAP Research Abstract.The EU-funded research project CUBIST investigates how Formal Concept Analysis can be applied as a Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:18:03 Semantic Web Resource Description Framework Knowledge representation Web services RDF Schema SPARQL Triplestore Web Ontology Language Ontology Formal concept analysis Web resource
173	Soft-Classing to Create Evolving Ontologies for Distributed Resources Kenneth J. Laskey, PhD Qiang Lin, PhD Add to Reading List Source URL: www10.org Language: English - Date: 2001-02-06 23:07:32 Knowledge representation Ontology Semantic Web Technical communication Information science Web Ontology Language Draft:Outline of ontologies Semantic spectrum
174	Microsoft PowerPoint - easeGo-geoinfo.pptx Add to Reading List Source URL: www.geoinfo.info Language: English - Date: 2012-11-30 08:47:11 Semantic Web Ontology Information science Knowledge representation Technical communication Web Ontology Language Ontology-based data integration Data integration
175	RDF Semantics A graph-based approach Jean-François Baget INRIA Rhône-Alpes Manchester Knowledge Web Meeting Add to Reading List Source URL: exmo.inria.fr Language: English - Date: 2004-10-10 16:59:01 Semantic Web Resource Description Framework Knowledge representation RDF Schema Web Ontology Language Web resource
176	Ontology for the Twenty First Century: An Introduction with Recommendations by Andrew D. Spear Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarbrücken, Germany University at Buffalo, Buffalo, Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:40 Ontology Information science Knowledge representation Technical communication Semantic Web Formal ontology Barry Smith Web Ontology Language Semantic interoperability Upper ontology Draft:Outline of ontologies
177	10 Developing a Submariner’s Ontology (to appear in the winter, 2011 issue of Undersea Warfare) Robert Arp, Ph.D. Add to Reading List Source URL: robertarp.webs.com Language: English Semantic Web Knowledge representation Knowledge engineering Resource Description Framework Web services SPARQL Ontology Web Ontology Language Semantic reasoner Web resource RDF Schema Draft:Outline of ontologies
178	June 22, :1 WSPC/INSTRUCTION FILE ijait International Journal on Artificial Intelligence Tools c World Scientific Publishing Company Add to Reading List Source URL: www.grupolys.org Language: English - Date: 2016-06-22 08:06:45 Knowledge representation Ontology Semantic Web Knowledge engineering Technical communication Open Biomedical Ontologies Web Ontology Language Information model FO Frame language
179	Microsoft Word - NLA-monographdoc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-06-14 11:39:40 Semantic Web Resource Description Framework MapReduce Hash table Big data Data Trie Web Ontology Language Geographic information system Triplestore Ontology
180	Towards visualizing the alignment of large biomedical ontologies Catia Pesquita1, Daniel Faria1, Emanuel Santos1, Jean-Marc Neefs2, Francisco M. Couto1 1LASIGE, Add to Reading List Source URL: dils2014.inesc-id.pt Language: English - Date: 2016-07-28 13:22:00 Semantic Web Resource Description Framework Web Ontology Language XML Schema Ontology Turtle RDF/XML

UPDATE